To help clarify the concept of «teaching practice», this article analyzes a repository of professional skills of the teacher. It then examines how two groups of teacher educators attempting to use this repository to evaluate two teaching sessions (one secondary and one primary). Analyses revealed the difficulty in assessing a session from elements determined a priori from a list of skills. The evaluation of a teaching session seems to require the inclusion of its organic whole. Afin de contribuer à préciser (...) la notion de « pratique enseignante », le présent article analyse un référentiel de compétences professionnelles de l’enseignant. Il examine ensuite la manière dont deux groupes de formateurs d’enseignants tentent d’utiliser ce référentiel pour évaluer deux séances d’enseignement (une dans le secondaire et une dans le primaire). Les analyses révèlent la difficulté à évaluer une séance à partir d’éléments déterminés a priori dans une liste de compétences. L’évaluation d’une séance d’enseignement semble requérir la prise en compte de sa totalité organique. (shrink)

This text presents a few preliminary results of research currently being conducted at the Université de Sherbrooke’s Research Institute on Educational Practices. The study seeks to understand how situations presented in teacher education can support the functioning and success of trainee teachers’ professional learning. The article’s aim is to identify the points of convergence between situations of professional activity, situations of professional learning, and training situations. The text will attempt to analyze the role that can be played by certain training (...) structures that seek to support a professionalization process that we define in terms of a general aim: the construction of professional knowledge. The originality of this research lies in that it draws on the work of Gaston Bachelard to develop a theoretical frame enabling a reading and interpretation of the results. Ce texte présente quelques résultats préliminaires d’une recherche menée présentement à l’Institut de recherche sur les pratiques éducatives de l’Université de Sherbrooke. Cette recherche vise à comprendre comment les situations présentes dans la formation à l’enseignement peuvent soutenir le fonctionnement et la réussite de l’apprentissage professionnel des enseignants en formation. Nous cherchons à identifier les points de rencontre entre les situations d’activité professionnelle, les situations d’apprentissage professionnel et les situations de formation. Nous tenterons d’analyser le rôle que peuvent jouer certains dispositifs visant à soutenir un processus de professionnalisation que nous définissons au regard d’une finalité : la construction de savoirs professionnels. L’originalité de cette recherche est la convocation des travaux de Gaston Bachelard pour élaborer le cadre théorique permettant la lecture et l’interprétation des résultats. (shrink)

This text presents a few preliminary results of research currently being conducted at the Université de Sherbrooke’s Research Institute on Educational Practices. The study seeks to understand how situations presented in teacher education can support the functioning and success of trainee teachers’ professional learning. The article’s aim is to identify the points of convergence between situations of professional activity, situations of professional learning, and training situations. The text will attempt to analyze the role that can be played by certain training (...) structures that seek to support a professionalization process that we define in terms of a general aim: the construction of professional knowledge. The originality of this research lies in that it draws on the work of Gaston Bachelard to develop a theoretical frame enabling a reading and interpretation of the results. Ce texte présente quelques résultats préliminaires d’une recherche menée présentement à l’Institut de recherche sur les pratiques éducatives de l’Université de Sherbrooke. Cette recherche vise à comprendre comment les situations présentes dans la formation à l’enseignement peuvent soutenir le fonctionnement et la réussite de l’apprentissage professionnel des enseignants en formation. Nous cherchons à identifier les points de rencontre entre les situations d’activité professionnelle, les situations d’apprentissage professionnel et les situations de formation. Nous tenterons d’analyser le rôle que peuvent jouer certains dispositifs visant à soutenir un processus de professionnalisation que nous définissons au regard d’une finalité : la construction de savoirs professionnels. L’originalité de cette recherche est la convocation des travaux de Gaston Bachelard pour élaborer le cadre théorique permettant la lecture et l’interprétation des résultats. (shrink)

Both the genetic endowment we have been equipped with, and the environment we had to be born and raised in, were not – and never are – for us to choose; both are pure luck, a random ticket in this enormously inventive cosmic lottery of existence. If it is luck that has makes us the persons we are, and since our decisions and choices depend largely on the kind of persons we are, it seems that everything we do or fail (...) to do may only be attributed to luck. This paper focuses on criminal behavior, with special emphasis on Tarde’s and Lombroso’s views, to discuss free will and agency, and their interplay with moral luck, that is, the fixed boundaries set by our nature and the circumstances that surround us. (shrink)

It is argued that physics must eventually expand to accommodate mind and consciousness but that this will require a new paradigm. The paradigm required will impinge on two problems on the borders of physics and philosophy: the relationship between physical space and perceptual space and the nature of the passage of time. It is argued that the resolution of both these problems may involve a 5-dimensional model, with the 5th dimension being associated with mental time, and this proposal may relate (...) to recent developments in brane cosmology. A description of consciousness must also entail a proper understanding of the specious present, the minimum timescale of conscious experience, this possibly being associated with a compactified extra dimension. There could even be a hierarchy of levels of consciousness, associated with a hierarchy of extra dimensions. (shrink)

The problem of time involves an overlap between physics, philosophy, psychology and neuroscience. My talk will discuss the role of time in physics but also emphasize that physics may need to expand to address issues usually regarded as being in the other domains. I will first review the mainstream physics view of time, as it arises in Newtonian theory, relativity theory and quantum theory. I will then discuss the various arrows of time, the most fundamental of which is the passage (...) of time associated with consciousness. I will argue that this goes beyond both relativity theory and quantum theory, so that one needs some new physical paradigm to accommodate it. A new paradigm is required anyway to describe quantum gravity and this may elucidate the nature of both time and consciousness. (shrink)

Jusqu'à maintenant, il semble qu'on n'ait pas établi de lien entre le rejet par Bolzano de la notation quantificationnelle des propositions universelles de la logique traditionnelle et l'articulation inédite de sa notion de validité universelle. C'est ce que je veux faire ici. En particulier, dans la mesure où l'analyticité est un cas spécial de la validité universelle, j'ai l'intention de défendre l'idée qui veut que la notion bolzanienne d'analyticité cherche à résoudre des problèmes qui sont intrinsèquement liés à la théorie (...) traditionnelle de la quantification universelle tels qu'ils surviennent, notamment avec le traitement kantien de l'analyticité. It seems that the connection between Bolzano's rejection of the traditional quantificational notation for universal propositions and the articulation of his notion of universal validity has remained, until today, perfectly unnoticed. In this paper, I will show that there is such a connection. Particularly, since analyticity is a special case of universal validity, my intention is to show that the problems to which Bolzano's perfectly original account of analyticity seeks to find an answer are intrinsically related to the traditional conception of universal quantification as it arises in the context of Kant's treatment of analyticity. (shrink)

Ian Stevenson's achievements lay not only in the corpus of his written works but also in the influence he had on colleagues whom he exhorted to take an interest in the subject from other fields. One of them is Bernard Carr. Stevenson showed much enthusiasm talking about Carr's two experiments with the Cambridge University Society for Psychical Research, one involving an attempt to detect the telepathic transmission of emotion using hypnotized subjects and psychogalvanic skin response and the other was (...) an investigation of the relative roles of telepathy and clairvoyance in extrasensory perception. Stevenson meticulously read and commented on his work and even invited him to visit his group with the intention of preparing reports for publication. Carr was grateful for the passion he instilled in him for psychical research as a result of these experiences. (shrink)

Parapsychology will only be accepted as part of mainstream science if physics can be extended to accommodate at least some so-called psychic phenomena. This paper disagrees with the argument of Reber and Alcock that these phenomena can be excluded a priori because they are incompatible with physics. On the other hand, it agrees with their claim that the phenomena cannot be explained in terms of current physics (eg. relativity theory and quantum theory). Rather one needs an extension of physics which (...) amalgamates these theories, this being an aim of mainstream physics anyway, with the new theory also linking to consciousness if this is regarded as a fundamental rather than incidental feature of the universe. One possible extension involves the idea that perceptual space and physical space are amalgamated as part of a 5-dimensional reality structure, the extra dimension being associated with mental (rather than physical) time. Such a model may be required to accommodate even normal mind and incorporating further dimensions might then allow some paranormal phenomena. This could also relate to the extra dimensions invoked in some models of particle physics. (shrink)

Levi ben Gerson was a medieval astronomer who responded in an unusual way to the Ptolemaic tradition. He significantly modified Ptolemy’s lunar and planetary theories, in part by appealing to physical reasoning. Moreover, he depended on his own observations, with instruments he invented, rather than on observations he found in literary sources. As a result of his close attention to the variation in apparent planetary sizes, a subject entirely absent from the Almagest, he discovered a new phenomenon of Mars and (...) noticed a serious flaw in Ptolemy’s treatment of the Moon. (shrink)

In this paper, I ask whether mishpat ivri (Jewish Law) is appropriately conceived as a “legal system”. I review Menachem Elon’s use of a “Sources” Theory of Law (based on Salmond) in his account of Mishpat Ivri; the status of religious law from the viewpoint of jurisprudence itself (Bentham, Austin and Kelsen); then the use of sources (and the approach to “dogmatic error”) by halakhic authorities in discussing the problems of the agunah (“chained wife”), which I suggest points to a (...) theory more radical than the “sources” theory of law, one more akin to the ultimate phase of the thought of Kelsen (the “non-logical” Kelsen) or indeed to some form of Legal Realism (with which that phase of Kelsen’s thought has indeed been compared)? I finally juxtapose an account based on internal theological resources (a “Jurisprudence of Revelation”). Downloadable at at http://www.biu.ac.il/JS/JSIJ/jsij1.html. (shrink)

We develop an approach to the problem of de se belief usually expressed with the question, what does the shopper with the leaky sugar bag have to learn to know that s/he is the one making the mess. Where one might have thought that some special kind of “de se” belief explains the triggering of action, we maintain that this gets the order of explanation wrong. We sketch a very simple cognitive architecture that yields de se-like behavior on which the (...) action-triggering functionality of the belief-state is what counts it as de se rather than some prior property of being “de se” explaining the triggering of action. This functionality shows that action-triggering change in belief-state also undergirds a correlative change in the objective involved in the triggered action. This model is far too simple to have any claim to showing how the de se works for humans, but it shows, by illustration, that nothing mysteriously “subjective”” need be involved in this aspect of self-conception. While our exposition is very different from those of Perry and Recanati, all three of us are developing the same kind of view. (shrink)

Advocates of the use of intuitions in philosophy argue that they are treated as evidence because they are evidential. Their opponents agree that they are treated as evidence, but argue that they should not be so used, since they are the wrong kinds of things. In contrast to both, we argue that, despite appearances, intuitions are not treated as evidence in philosophy whether or not they should be. Our positive account is that intuitions are a subclass of inclinations to believe. (...) Our thesis explains why intuitions play a role in persuasion and inquiry, without conceding that they are evidential. The account also makes predictions about the structure of intuitions that are confirmed by independent arguments. (shrink)

Pain may appear to undermine the radically intentionalist view that the phenomenal character of any experience is entirely constituted by its representational content. That appearance is illusory. After categorizing versions of pain intentionalism along two dimensions, I argue that an 'objectivist' and 'non-mentalist' version is the most promising, if it can withstand two objections concerning what we say when in pain, and the distinctiveness of pain. I rebut these objections, in a way available to both opponents of and adherents to (...) the view that experiential content is entirely conceptual. (shrink)

Philosophers have rightly condemned lookism—that is, discrimination in favor of attractive people or against unattractive people—in education, the justice system, the workplace and elsewhere. Surprisingly, however, the almost universal preference for attractive romantic and sexual partners has rarely received serious ethical scrutiny. On its face, it’s unclear whether this is a form of discrimination we should reject or tolerate. I consider arguments for both views. On the one hand, a strong case can be made that preferring attractive partners is bad. (...) The idea is that choosing partners based on looks seems essentially similar to other objectionable forms of discrimination. (In particular, the preference for attractive partners is arguably both unfair and harmful to a significant degree.) One can try to resist this conclusion in several ways. I consider three possible replies. The first has to do with the possibility of controlling our partner preferences. The second pertains to attractiveness and “good genes”. The last attempts to link certain aspects of attractiveness to a prospective partner’s personality and values. I argue that the first two replies fail conclusively, while the third only amounts to a limited defense of a particular kind of attractiveness preference. So the idea that we should often avoid preferring attractive partners is compelling. (shrink)

This article is a preliminary presentation of conjunctive paraconsistency, the claim that there might be non-explosive true contradictions, but contradictory propositions cannot be considered separately true. In case of true ‘p and not p’, the conjuncts must be held untrue, Simplification fails. The conjunctive approach is dual to non-adjunctive conceptions of inconsistency, informed by the idea that there might be cases in which a proposition is true and its negation is true too, but the conjunction is untrue, Adjunction fails. While (...) non-adjunctivism is a well-known option, the other view is not so much studied nowadays, but it was not unknown in the tradition, and there are some positive suggestions, in recent literature, that the position is plausible and deserves to be developed. The article compares conjunctivism, non-adjunctivism and dialetheism, then focuses on some possible justifications, costs and benefits of the conjunctive view. (shrink)

Results: We analyzed 1,402 surveys and 15 in-depth interviews. Many (32%) CL participants reported greater difficulty refilling medications and a minority (14%) reported greater difficulty accessing HIV care during the pandemic. Most (99%) Opt4Mamas participants reported no difficulty refilling medications or accessing HIV/pregnancy care. Among the CL participants, older women were less likely (aOR = 0.95, 95% CI: 0.92–0.98) and women with more children were more likely (aOR = 1.13, 95% CI: 1.00–1.28) to report difficulty refilling medications. Only 2% of (...) CL participants reported greater difficulty managing FP and most (95%) reported no change in likelihood of using FP or desire to get pregnant. Qualitative analysis revealed three major themes: (1) adverse organizational/economic implications of the pandemic, (2) increased importance of pregnancy prevention during the pandemic, and (3) fear of contracting COVID-19. (shrink)

In this paper, I develop and defend a new adverbial theory of perception. I first present a semantics for direct-object perceptual reports that treats their object positions as supplying adverbial modifiers, and I show how this semantics definitively solves the many-property problem for adverbialism. My solution is distinctive in that it articulates adverbialism from within a well-established formal semantic framework and ties adverbialism to a plausible semantics for perceptual reports in English. I then go on to present adverbialism as a (...) theory of the metaphysics of perception. The metaphysics I develop treats adverbial perception as a directed activity: it is an activity with success conditions. When perception is successful, the agent bears a relation to a concrete particular, but perception need not be successful; this allows perception to be fundamentally non-relational. The result is a novel formulation of adverbialism that eliminates the need for representational contents, but also treats successful and unsuccessful perceptual events as having a fundamental common factor. (shrink)

Ernst Mally’s Gegenstandstheoretische Grundlagen der Logik und Logistik (1912) proposes that the abstract object “the circle” does not satisfy the properties of circles, but instead “determines” the class of circles. In this he anticipates the notion of “encoding” that Edward Zalta proposes for his theory of Abstract Objects. It is argued that Mally did anticipate the notion of “encoding”, but sees it as a way of taking the concept as the subject of a proposition, rather than as a primitive notion (...) in the theory of a new ontological category of abstract objects, as Zalta does. (shrink)

This paper investigates the strange case of an argument that was directed against a positivist verification principle. We find an early occurrence of the argument in a talk by the phenomenologist Roman Ingarden at the 1934 International Congress of Philosophy in Prague, where Carnap and Neurath were present and contributed short rejoinders. We discuss the underlying presuppositons of the argument, and we evaluate whether the attempts by Carnap (especially) actually succeed in answering this argument. We think they don’t, and offer (...) instead a few sociological thoughts about why the argument seems to have disappeared from the profession’s evaluaton of the positivist criterion of verifiability. (shrink)

Translated by Bernard Linsky This is the first English translation of Roman Ingarden’s paper presented at the 8th World Congress of Philosophy held in Prague in 1934: “Der Logistische Versuch einer Neugestaltung der Philosophie: Eine Kritische Bemerkung”, translated here as “The Logical Attempt at a New Formulation of Philosophy: A Critical Remark”. Also translated here are brief discussions by Rudolf Carnap and Otto Neurath. These essays were published in the original German in the Proceedings of the Congress in 1936. (...) This statement of Ingarden’s criticisms of the doctrines of the Vienna Circle has been mentioned in print, but his views have not been discussed, or indeed accurately reported to date. (shrink)

Artykuł, opublikowany po raz pierwszy w 1979 r., jest jednym z najczęściej cytowanych tekstów filozoficznych z drugiej połowy XX wieku. Tekst Bernarda Williamsa zainicjował kilka ważnych debat, toczących się do dziś w etyce i filozofii działania. Zaproponowana przez niego interpretacja pojęcia racji działania jest, z jednej strony, niezwykle wpływowa, ale z drugiej bardzo niejednoznaczna i często krytykowana. Williams broni stanowiska, które z czasem zaczęto określać jako internalizm racji: pewne względy są racjami działania dla danego podmiotu tylko wtedy, gdy mają ścisły (...) związek z "subiektywnym układem motywacyjnym" tego podmiotu, czyli z jakimiś aspektami jego psychiki, charakteru, celów, pragnień, planów, relacji z innymi itd. Stwierdzenie, że ktoś ma rację, by coś zrobić (a jeśli uznajemy, że jest to racja przeważająca - to, że powinien to coś zrobić), znaczy więc wedle tego stanowiska tyle, że ten ktoś jest w stanie być motywowany, by to coś zrobić. W przeciwieństwie do tego stanowisko określane obecnie ako eksternalizm racji głosi, że pewne względy mogą być racjami działania dla danego podmiotu także wtedy, gdy odwołują się do niezależnych od jego układu motywacyjnego własności świata. Williams wychodzi od modelu działania nawiązującego do koncepcji Hume'owskiej, następnie przedstawia jego bardziej rozbudowaną wersję, omawia rolę namysłu, naturę potrzeb, a także przedstawia argument za internalizmem racji, określany jako argument z wyjaśniania działania. Głosi on, że nawet gdyby istniały zewnętrzne racje działania, niezwiązane z subiektywnym układem motywacyjnym danego podmiotu, to odwołanie się do nich nie byłoby w stanie wyjaśnić, dlaczego dany podmiot postąpił tak, a nie inaczej, gdyż "nic nie jest w stanie wyjaśnić (zamierzonych) działań podmiotu za wyjątkiem czegoś, co motywuje go działania". (shrink)

We discuss potential biorisks from large language models (LLMs). AI assistants based on LLMs such as ChatGPT have been shown to significantly reduce barriers to entry for actors wishing to synthesize dangerous, potentially novel pathogens and chemical weapons. The harms from deploying such bioagents could be further magnified by AI-assisted misinformation. We endorse several policy responses to these dangers, including prerelease evaluations of biomedical AIs by subject-matter experts, enhanced surveillance and lab screening procedures, restrictions on AI training data, and access (...) controls on biomedical AI. We conclude with a suggestion about future research directions in bioethics. (shrink)

The history of the regulation of animal research is essentially the history of the emergence of meaningful social ethics for animals in society. Initially, animal ethics concerned itself solely with cruelty, but this was seen as inadequate to late 20th-century concerns about animal use. The new social ethic for animals was quite different, and its conceptual bases are explored in this paper. The Animal Welfare Act of 1966 represented a very minimal and in many ways incoherent attempt to regulate animal (...) research, and is far from morally adequate. The 1985 amendments did much to render coherent the ethic for laboratory animals, but these standards were still inadequate in many ways, as enumerated here. The philosophy underlying these laws is explained, their main provisions are explored, and future directions that could move the ethic forward and further rationalize the laws are sketched. (shrink)

According to a widespread view in metaphysics and philosophy of science, all explanations involve relations of ontic dependence between the items appearing in the explanandum and the items appearing in the explanans. I argue that a family of mathematical cases, which I call “viewing-as explanations”, are incompatible with the Dependence Thesis. These cases, I claim, feature genuine explanations that aren’t supported by ontic dependence relations. Hence the thesis isn’t true in general. The first part of the paper defends this claim (...) and discusses its significance. The second part of the paper considers whether viewing-as explanations occur in the empirical sciences, focusing on the case of so-called fictional models. It’s sometimes suggested that fictional models can be explanatory even though they fail to represent actual worldly dependence relations. Whether or not such models explain, I suggest, depends on whether we think scientific explanations necessarily give information relevant to intervention and control. Finally, I argue that counterfactual approaches to explanation also have trouble accommodating viewing-as cases. (shrink)

The problem of truth in fiction concerns how to tell whether a given proposition is true in a given fiction. Thus far, the nearly universal consensus has been that some propositions are ‘implicitly true’ in some fictions: such propositions are not expressed by any explicit statements in the relevant work, but are nevertheless held to be true in those works on the basis of some other set of criteria. I call this family of views ‘implicitism’. I argue that implicitism faces (...) serious problems, whereas the opposite view is much more plausible than has previously been thought. After mounting a limited defence of explicitism, I explore a difficult problem for the view and discuss some possible responses. (shrink)

In this paper I show that we have strong empirical and theoretical reasons to treat the verbs we use in our semantic theorizing—particularly ‘refers to ’, ‘applies to ’, and ‘is true of ’—as intensional transitive verbs. Stating our semantic theories with intensional vocabulary allows us to partially reconcile two competing approaches to the nature and subject-matter of semantics: the Chomskian approach, on which semantics is non-relational, internalistic, and concerns the psychology of language users, and the Lewisian approach, on which (...) semantics is fully relational, specifies truth-conditions, and has metaphysical implications. ITVs have two readings: an intensional, de dicto reading, and a relational, de re reading. A semantic theory stated with the de dicto readings of our semantic verbs captures the core insights of the Chomskian approach to semantics, in part because it allows us to assign extremely fine-grained semantic values to expressions, even when those expressions are empty. On the other hand, the de re reading yields a theory that is fully relational, and issues in truth-conditions. The resulting theories are related—and compatible—in that they are expressed by two different readings of the very same semantic vocabulary, and plausibly, the distinction between these two readings is one of scope. (shrink)

Judgment subjectivism is the view that x is good for S if and only if, because, and to the extent that S believes, under the proper conditions, that x is good for S. In this paper, I offer three related arguments against the theory. The arguments are about what judgment subjectivism implies about the well-being of welfare nihilists, people who believe there are no welfare properties, or at least that none are instantiated. I maintain that welfare nihilists can be benefited (...) and harmed. Judgment subjectivism is implausible because it implies otherwise. (shrink)

Deductive inference is usually regarded as being “tautological” or “analytical”: the information conveyed by the conclusion is contained in the information conveyed by the premises. This idea, however, clashes with the undecidability of first-order logic and with the (likely) intractability of Boolean logic. In this article, we address the problem both from the semantic and the proof-theoretical point of view. We propose a hierarchy of propositional logics that are all tractable (i.e. decidable in polynomial time), although by means of growing (...) computational resources, and converge towards classical propositional logic. The underlying claim is that this hierarchy can be used to represent increasing levels of “depth” or “informativeness” of Boolean reasoning. Special attention is paid to the most basic logic in this hierarchy, the pure “intelim logic”, which satisfies all the requirements of a natural deduction system (allowing both introduction and elimination rules for each logical operator) while admitting of a feasible (quadratic) decision procedure. We argue that this logic is “analytic” in a particularly strict sense, in that it rules out any use of “virtual information”, which is chiefly responsible for the combinatorial explosion of standard classical systems. As a result, analyticity and tractability are reconciled and growing degrees of computational complexity are associated with the depth at which the use of virtual information is allowed. (shrink)

This is the first chapter to our edited collection of essays on the nature and ethics of blame. In this chapter we introduce the reader to contemporary discussions about blame and its relationship to other issues (e.g. free will and moral responsibility), and we situate the essays in this volume with respect to those discussions.

Appropriate information and consent has been one of the most intensely discussed topics within the context of biobank research. In parallel to the normative debate, many socio-empirical studies have been conducted to gather experiences, preferences and views of patients, healthy research participants and further stakeholders. However, there is scarcity of literature which connects the normative debate about justifications for different consent models with findings gained in empirical research. In this paper we discuss findings of a limited review of socio-empirical research (...) on patients’ and healthy research participants’ experiences and views regarding consent to biobank research in light of ethical principles for appropriate information and consent. (shrink)

Multidimensional adjectives are ubiquitous in natural language. An adjective F is multidimensional just in case whether F applies to an object or pair of objects depends on how those objects stand with respect to multiple underlying dimensions of F-ness. Developing a semantics for multidimensional adjectives requires us to address the problem of dimensional aggregation: how do the application conditions of an adjective F in its positive and comparative forms depend on its underlying dimensions? Here we develop a semantics for multidimensional (...) adjectives that incorporates aggregation functions. We then explore an analogy between dimensional aggregation and preference aggregation, bringing results from social choice theory to bear on the number and kind of aggregation functions that are admissible in a context. These results suggest that, for any given adjective, there will often be multiple aggregation functions admissible, meaning that multidimensional comparatives are often vague. (shrink)

Gauss’s quadratic reciprocity theorem is among the most important results in the history of number theory. It’s also among the most mysterious: since its discovery in the late 18th century, mathematicians have regarded reciprocity as a deeply surprising fact in need of explanation. Intriguingly, though, there’s little agreement on how the theorem is best explained. Two quite different kinds of proof are most often praised as explanatory: an elementary argument that gives the theorem an intuitive geometric interpretation, due to Gauss (...) and Eisenstein, and a sophisticated proof using algebraic number theory, due to Hilbert. Philosophers have yet to look carefully at such explanatory disagreements in mathematics. I do so here. According to the view I defend, there are two important explanatory virtues—depth and transparency—which different proofs (and other potential explanations) possess to different degrees. Although not mutually exclusive in principle, the packages of features associated with the two stand in some tension with one another, so that very deep explanations are rarely transparent, and vice versa. After developing the theory of depth and transparency and applying it to the case of quadratic reciprocity, I draw some morals about the nature of mathematical explanation. (shrink)

In the management of biomedical data, vocabularies such as ontologies and terminologies (O/Ts) are used for (i) domain knowledge representation and (ii) interoperability. The knowledge representation role supports the automated reasoning on, and analysis of, data annotated with O/Ts. At an interoperability level, the use of a communal vocabulary standard for a particular domain is essential for large data repositories and information management systems to communicate consistently with one other. Consequently, the interoperability benefit of selecting a particular O/T as a (...) standard for data exchange purposes is often seen by the end-user as a function of the number of applications using that vocabulary (and, by extension, the size of the user base). Furthermore, the adoption of an O/T as an interoperability standard requires confidence in its stability and guaranteed continuity as a resource. (shrink)

Philosophers of science since Nagel have been interested in the links between intertheoretic reduction and explanation, understanding and other forms of epistemic progress. Although intertheoretic reduction is widely agreed to occur in pure mathematics as well as empirical science, the relationship between reduction and explanation in the mathematical setting has rarely been investigated in a similarly serious way. This paper examines an important particular case: the reduction of arithmetic to set theory. I claim that the reduction is unexplanatory. In defense (...) of this claim, I offer evidence from mathematical practice, and I respond to contrary suggestions due to Steinhart, Maddy, Kitcher and Quine. I then show how, even if set-theoretic reductions are generally not explanatory, set theory can nevertheless serve as a legitimate foundation for mathematics. Finally, some implications of my thesis for philosophy of mathematics and philosophy of science are discussed. In particular, I suggest that some reductions in mathematics are probably explanatory, and I propose that differing standards of theory acceptance might account for the apparent lack of unexplanatory reductions in the empirical sciences. (shrink)

The many-property problem has traditionally been taken to show that the adverbial theory of perception is untenable. This paper first shows that several widely accepted views concerning the nature of perception---including both representational and non-representational views---likewise face the many-property problem. It then presents a solution to the many-property problem for these views, but goes on to show how this solution can be adapted to provide a novel, fully compositional solution to the many-property problem for adverbialism. Thus, with respect to the (...) many-property problem, adverbialism and several widely accepted views in the philosophy of perception are on a par, and the problem is solved. (shrink)

Mathematicians distinguish between proofs that explain their results and those that merely prove. This paper explores the nature of explanatory proofs, their role in mathematical practice, and some of the reasons why philosophers should care about them. Among the questions addressed are the following: what kinds of proofs are generally explanatory (or not)? What makes a proof explanatory? Do all mathematical explanations involve proof in an essential way? Are there really such things as explanatory proofs, and if so, how do (...) they relate to the sorts of explanation encountered in philosophy of science and metaphysics? (shrink)

Prior’s puzzle is standardly taken to be the puzzle of why, given the assumption that that-clauses denote propositions, substitution of “the proposition that P” for “that P” within the complements of many propositional attitude verbs is invalid. I show that Prior’s puzzle is much more general than is ordinarily supposed. There are two variants on the substitutional form of the puzzle—a quantificational variant and a pronominal variant—and all three forms of the puzzle arise in a wide range of grammatical positions, (...) rather than merely in the complements of propositional attitude verbs. The generalized puzzle shows that a range of proposed solutions to the original puzzle fail, or are radically incomplete, and also reveals the connections between Prior’s puzzle and debates over the nature of semantic types and higher-order quantification. I go on to develop a novel, higher-order solution to the generalized form of the puzzle, and I argue that this higher-approach is superior to its first-order alternatives. (shrink)

There is good reason to think that, in every case of perceptual consciousness, there is something of which we are conscious; but there is also good reason to think that, in some cases of perceptual consciousness—for instance, hallucinations—there is nothing of which we are conscious. This paper resolves this inconsistency—which we call the presentation problem—by (a) arguing that ‘conscious of’ and related expressions function as intensional transitive verbs and (b) defending a particular semantic approach to such verbs, on which they (...) have readings that lack direct objects or themes. The paper further argues that this approach serves not only as a linguistic proposal about the semantics of ‘conscious of’, but also as a proposal about the metaphysics of conscious states. (shrink)

Nelson Goodman's distinction between autographic and allographic arts is appealing, we suggest, because it promises to resolve several prima facie puzzles. We consider and rebut a recent argument that alleges that digital images explode the autographic/allographic distinction. Regardless, there is another familiar problem with the distinction, especially as Goodman formulates it: it seems to entirely ignore an important sense in which all artworks are historical. We note in reply that some artworks can be considered both as historical products and as (...) formal structures. Talk about such works is ambiguous between the two conceptions. This allows us to recover Goodman's distinction: art forms that are ambiguous in this way are allographic. With that formulation settled, we argue that digital images are allographic. We conclude by considering the objection that digital photographs, unlike other digital images, would count as autographic by our criterion; we reply that this points to the vexed nature of photography rather than any problem with the distinction. (shrink)

We maintain that in many contexts promising to try is expressive of responsibility as a promiser. This morally significant application of promising to try speaks in favor of the view that responsible promisers favor evidentialism about promises. Contra Berislav Marušić, we contend that responsible promisers typically withdraw from promising to act and instead promise to try, in circumstances in which they recognize that there is a significant chance that they will not succeed.

Ramsification is a well-known method of defining theoretical terms that figures centrally in a wide range of debates in metaphysics. Prior's puzzle is the puzzle of why, given the assumption that that-clauses denote propositions, substitution of "the proposition that P" for "that P" within the complements of many propositional attitude verbs sometimes fails to preserve truth, and other times fails to preserve grammaticality. On the surface, Ramsification and Prior's puzzle appear to have little to do with each other. But Prior's (...) puzzle is much more general than is ordinarily appreciated, and Ramsification requires a solution to the generalized form of Prior's puzzle. Without such a solution, a wide range of theories will either fail to imply their Ramsey sentences, or have Ramsey sentences that are ill-formed. As a consequence, definitions of theoretical terms given using the Ramsey sentence will be either incorrect or nonsensical. I present a partial solution to the puzzle that requires making use of a neo-Davidsonian language for scientific theorizing, but the would-be Ramsifier still faces serious challenges. (shrink)